(set-strategy depth)

(load "templates_rules_none.clp")
(load "predef_facts.clp")

(reset)
(run)